TSTP Solution File: DAT194^1 by SInE---0.4